Merge pull request #1237 from sandrine-bailleux-arm/sb/spm-timer
authordavidcunado-arm <[email protected]>
Mon, 29 Jan 2018 23:16:27 +0000 (23:16 +0000)
committerGitHub <[email protected]>
Mon, 29 Jan 2018 23:16:27 +0000 (23:16 +0000)
SPM: Map devices in the 1st GB


Trivial merge